// p1和p2是指针，相减为其地址相减，因为指向的是同一元素，地址相同，因次p1地址不变。

// 只要p1和p2合法，这个语句就是合法的。